|
課程名稱 |
自動機與形式語言
FORMAL LANGUAGES AND AUTOMATA THEORY |
|
開課學期 |
96-1 |
|
授課對象 |
資訊工程學系 |
|
授課教師 |
顏文明 |
|
課號 |
CSIE3110 |
|
課程識別碼 |
902 43500 |
|
班次 |
02 |
|
學分 |
3 |
|
全/半年 |
半年 |
|
必/選修 |
必帶 |
|
上課時間 |
星期二2,3,4(9:10~12:10) |
|
上課地點 |
資104 |
|
備註 |
限學號雙號 且 限本系所學生(含輔系、雙修生)
總人數上限：80人 |
|
|
|
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
1. Regular Languages
2. Context-Free Languages
3. The Church-Turing Thesis
4. Decidability
5. Reducibility
6. Time Complexity
|
|
課程目標 |
1. Regular Languages
2. Context-Free Languages
3. The Church-Turing Thesis
4. Decidability
5. Reducibility
6. Time Complexity
|
|
課程要求 |
|
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
|
|
參考書目 |
|
|
評量方式
(僅供參考) |
|
|